121. Abstract state machines
پدیدآورنده: Egon Borger, Robert Stork
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع: System design,Computer software- Development,Embedded computer systems
رده :
QA
,
76
.
9
,.
S88B66
,
2003
122. Abstract state machines
پدیدآورنده: / Egon Brger,Robert Stark
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: system design,Computer software -- Development,Embeded computer systems
رده :
QA
76
.
9
.
S88B66
2003
123. Abstract state machines
پدیدآورنده: / Egon Borger, Robert Stark
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: System design,Computer software -- Development,Embedded computer systems
رده :
QA
76
.
9
.
S88B66
2003
124. Abstract state machines: a method for high-level system design and analysis
پدیدآورنده: Borger, E.)Egon(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، System design,، Computer software-- Development,، Embedded computer systems
رده :
QA
76
.
9
.
S88
.
B66
2003
125. Abstract state machines :a method for high-level system design and analysis. ]CD[
پدیدآورنده: Bغorger, E. )Egon(, Egon Bغorger, Robert Stغark
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، System design,Development ، Computer software,، Embedded computer systems
رده :
QA76
.
9
.
S88
B66
2003
126. Achieving Safety and Reliability with Computer Systems
پدیدآورنده: edited by B.K. Daniels.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Engineering.,Software engineering.,Statistics.
رده :
QA76
.
76
.
R44
E358
1987
127. Achieving quality software :
پدیدآورنده: David J. Smith ; with a foreword by Paul W. Banks.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software -- Quality control.,Software engineering.
128. Achieving quality software : including its application to safety-related systems
پدیدآورنده: Smith, David J. )David John(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Software engineering,، Computer software -- Quality control,، System safety,، Software -- Quality control
رده :
QA
76
.
76
.
A35
1995
129. Adaptable Embedded System
پدیدآورنده: / edited by Antonio Carlos Schneider Beck, Carlos Arthur Lang Lisb?لإa, Luigi Carro
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Engineering,Computer aided design,Systems engineering,Electronic books
رده :
E-BOOK
130. Adaptive object-oriented software :
پدیدآورنده: Karl J. Lieberherr.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Object-oriented programming (Computer science),Adaptives Verfahren,Object-oriented programming (Computer science),Objektorientierte Programmierung,Programacao de computadores.,Programmation orientée objets (informatique)
رده :
QA76
.
64
.
L49
1996
131. Adaptive user support :
پدیدآورنده: edited by Reinhard Oppermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Human-computer interaction.,User interfaces (Computer systems),COMPUTERS / Human-Computer Interaction (HCI),Human-computer interaction.,User interfaces (Computer systems)
رده :
QA76
.
9
.
H85
A33
2009
132. Adobe Creative Cloud design tools /
پدیدآورنده: Jennifer Smith and the AGI Creative Team
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Adobe Creative Cloud,Cloud computing,Computer graphics, Handbooks, manuals, etc,Web sites-- Design, Handbooks, manuals, etc
133. Adoption-centric usability engineerin
پدیدآورنده: / Ahmed Seffah, Eduard Metzker
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development,User-centered system design.
رده :
QA
,
76
.
76
,.
D47
,
S426
,
2009
134. Adoption-centric usability engineering : systematic deployment, assessment, and improvement of usability methods in software engineering
پدیدآورنده: / Ahmed Seffah, Eduard Metzker
کتابخانه: کتابخانه پردیس بین الملل كیش (دانشگاه تهران) (هرمزگان)
موضوع: Computer software--Development.,User-centered system design.,Industrial management.
رده :
QA76
.
76
.
D47
135. Advanced Boolean techniques :
پدیدآورنده: editors, Rolf Drechsler and Mathias Soeken.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra, Boolean, Congresses.,Algebra, Boolean.
رده :
QA10
.
3
.
I58
2018eb
136. Advanced Computational Electromagnetic Methods.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electromagnetism-- Computer simulation.,Electromagnetism-- Data processing.,Electricity & Magnetism.,Electromagnetism-- Computer simulation.,Electromagnetism-- Data processing.,Physical Sciences & Mathematics.,Physics.
رده :
QC760
.
54
137. Advanced Computer Architectures.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer architecture.,Datorarkitektur.,High performance computing.,Parallel computers.,Parallelverarbeitung.,Computer architecture.,COMPUTERS-- Systems Architecture-- General.,High performance computing.,Parallel computers.
رده :
QA76
.
9
.
A73S45478
138. Advanced Computer Graphics :
پدیدآورنده: edited by Tosiyasu L. Kunii.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer graphics.,Computer science.,Computer-aided design.
رده :
T385
.
E358
1986
139. Advanced Information Processing :
پدیدآورنده: edited by Heinz Schwärtzel, Igor A. Mizin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer hardware.,Computer science.,Software engineering.
رده :
QA75
.
5
E358
1990
140. Advanced Systems Design with Java, UML and MDA.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Development-- Electronic information resources.,Internet-- Computer programs-- Design-- Electronic information resources.,Software architecture, Electronic information resources.,UML (Computer science), Electronic information resources.,Web services-- Design, Electronic information resources.,Architecture logicielle.,Internet-- Logiciels-- Conception.,Logiciels-- Développement.,Services Web-- Conception.,UML (Informatique),Java (programmeertaal),Programmatuurtechniek.,Software architecture.,UML (Computer science),UML.
رده :
QA76
.
76
.
D47
L375
2005
